Model of the TWA terminal at Kennedy Airport in New York